|
|
Efficient Representations and Conversions of Planning Problems
Toropila, Daniel
Název práce Efektivní reprezentace a konverze plánovacích problémů Autor Daniel Toropila Katedra Katedra teoretické informatiky a matematické logiky Vedoucí disertační práce prof. RNDr. Roman Barták, Ph.D. Abstrakt Efektivita všech typů plánovacích systému je silně závislá na formulaci vstupu, strukturu kterého musí plánovače využít, chtějí-li dosáhnout zvýšení své výpočet- ní efektivity. Z tohoto důvodu se reprezentace založená na stavových proměnných (SAS+ ) stala oblíbenou formou kódování vstupu mnoha moderních plánovačů. Jelikož ale většina plánovacích problémů je vyvíjena pomocí klasické reprezen- tace, vzniklo v nedávné minulosti několik technik jejího převodu do reprezen- tace SAS+ . Tyto techniky ale bohužel ignorují informace specifiké pro jedno- tlivé instance plánovacích problémů. Proto představujeme nový algoritmus pro konstrukci SAS+ , který naplno využívá informace o cíli i o iniciálním stavu, a pomocí obsáhlých vypočetních experimentů ukazujeme, že pro mnohé plánovací problémy nový algoritmus pomáhá zvýšit efektivitu jejich řešení. V poslední části práce poté prezentujeme přehled několika modelů splňování podmínek pro plánování, založených na kodóvání SAS+ , a také na...
|
|
|
Framework pro vývoj optimalizačních algoritmů
Hurt, Tomáš ; Trunda, Otakar (vedoucí práce) ; Hric, Jan (oponent)
Cílem práce je navrhnout a implementovat efektivní nástroj pro vývoj a testování algoritmů v oblasti kombinatorické optimalizace. Bude vysvětlena problematika plánování a následně budou popsány kroky postupného návrhu a implementace vznikajícího programu. Framework bude podporovat dva hlavní vstupní forma- lismy pro popis optimalizačních problémů (PDDL, SAS+ ). Zajištěna bude pod- pora zpracování vstupů, navrhnuty budou vhodné datové struktury a efektivní implementace prohledávacích algoritmů. Důraz bude kladen na dobrý objektový návrh programu z hlediska budoucího vývoje a snadné rozšiřitelnosti. K docílení toho budou využity ověřené principy z oblasti softwarového inženýrství. 1
|
|
|
Efficient Representations and Conversions of Planning Problems
Toropila, Daniel ; Barták, Roman (vedoucí práce) ; McCluskey, Thomas Leo (oponent) ; Pěchouček, Michal (oponent)
Název práce Efektivní reprezentace a konverze plánovacích problémů Autor Daniel Toropila Katedra Katedra teoretické informatiky a matematické logiky Vedoucí disertační práce prof. RNDr. Roman Barták, Ph.D. Abstrakt Efektivita všech typů plánovacích systému je silně závislá na formulaci vstupu, strukturu kterého musí plánovače využít, chtějí-li dosáhnout zvýšení své výpočet- ní efektivity. Z tohoto důvodu se reprezentace založená na stavových proměnných (SAS+ ) stala oblíbenou formou kódování vstupu mnoha moderních plánovačů. Jelikož ale většina plánovacích problémů je vyvíjena pomocí klasické reprezen- tace, vzniklo v nedávné minulosti několik technik jejího převodu do reprezen- tace SAS+ . Tyto techniky ale bohužel ignorují informace specifiké pro jedno- tlivé instance plánovacích problémů. Proto představujeme nový algoritmus pro konstrukci SAS+ , který naplno využívá informace o cíli i o iniciálním stavu, a pomocí obsáhlých vypočetních experimentů ukazujeme, že pro mnohé plánovací problémy nový algoritmus pomáhá zvýšit efektivitu jejich řešení. V poslední části práce poté prezentujeme přehled několika modelů splňování podmínek pro plánování, založených na kodóvání SAS+ , a také na...
|
|
|
Efficient Representations and Conversions of Planning Problems
Toropila, Daniel
Název práce Efektivní reprezentace a konverze plánovacích problémů Autor Daniel Toropila Katedra Katedra teoretické informatiky a matematické logiky Vedoucí disertační práce prof. RNDr. Roman Barták, Ph.D. Abstrakt Efektivita všech typů plánovacích systému je silně závislá na formulaci vstupu, strukturu kterého musí plánovače využít, chtějí-li dosáhnout zvýšení své výpočet- ní efektivity. Z tohoto důvodu se reprezentace založená na stavových proměnných (SAS+ ) stala oblíbenou formou kódování vstupu mnoha moderních plánovačů. Jelikož ale většina plánovacích problémů je vyvíjena pomocí klasické reprezen- tace, vzniklo v nedávné minulosti několik technik jejího převodu do reprezen- tace SAS+ . Tyto techniky ale bohužel ignorují informace specifiké pro jedno- tlivé instance plánovacích problémů. Proto představujeme nový algoritmus pro konstrukci SAS+ , který naplno využívá informace o cíli i o iniciálním stavu, a pomocí obsáhlých vypočetních experimentů ukazujeme, že pro mnohé plánovací problémy nový algoritmus pomáhá zvýšit efektivitu jejich řešení. V poslední části práce poté prezentujeme přehled několika modelů splňování podmínek pro plánování, založených na kodóvání SAS+ , a také na...
|
host ::
RSS.